Merge pull request #1835 from jts-arm/rename
authorAntonio Niño Díaz <[email protected]>
Fri, 22 Feb 2019 13:05:37 +0000 (13:05 +0000)
committerGitHub <[email protected]>
Fri, 22 Feb 2019 13:05:37 +0000 (13:05 +0000)
commit3f995f3078a9a22c5079e3d05995e26173ff6499
tree3efcf4b5aeb8d51b4f7d1117454d38d77c654556
parent5ba32a7660051464ed1d56129adf2606db54b5e3
parent11088e392468a2aade66e1593a4cce8d5b1ff82f
Merge pull request #1835 from jts-arm/rename

Apply official names to new Arm Neoverse cores